es{-}kindcase(${\it es}$; $e$; $a$.$f$($a$); $l$,${\it tg}$.$g$($l$;${\it tg}$))
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if es{-}isrcv(${\it es}$; $e$)$\rightarrow$ $g$(es{-}lnk(${\it es}$; $e$);es{-}tag(${\it es}$; $e$)) else $f$(es{-}act(${\it es}$; $e$)) fi